Sokoban Solver Statistics - Sokolution 5.1 - Sven Egevad Sharpen

Date: 2024-03-11

Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None?   FloorsBoxesLower BoundBP
Solved puzzles 12302519260468895 of 153 94 16 Total18761529610210 
 
 
Sokoban Solver Statistics - Sokolution 5.1 10 minutes - Sven Egevad Sharpen
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
1 163645252  ✓  ✓   19 16 156 21 374 ?
2      ✕    19 16 190 65 1 ?
3 2407410  ✓  ✓   11 11 81 32 72 ?
4 32176   ✓  ✓   11 11 81 32 36 ?
5 32267   ✓  ✓   11 12 65 23 1 ?
6 35094356  ✓  ✓   13 12 100 36 5 ?
7 126312650  ✓  ✓   13 15 119 46 32 ?
8      ✕    13 13 109 36 52 ?
9 30064   ✓  ✓   13 13 105 28 44 ?
10      ✕    17 15 190 76 14 ?
11 1190216350  ✓  ✓   14 14 143 58 24 ?
12 1990154225  ✓  ✓   14 14 102 19 18 ?
13      ✕    12 16 108 24 140 ?
14 839961  ✓  ✓   13 13 109 37 28 ?
15 99594   ✓  ✓   13 13 108 36 28 ?
16 10751421  ✓  ✓   13 13 108 36 28 ?
17 13871621  ✓  ✓   13 13 98 26 28 ?
18 10931207  ✓  ✓   13 13 98 26 28 ?
19 11851841  ✓  ✓   13 13 108 36 40 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
20 60896   ✓  ✓   13 11 64 10 14 ?
21 19247   ✓  ✓   9 10 49 14 5 ?
22 1013160   ✓  ✓   11 11 81 28 40 ?
23      ✕    16 16 156 60 72 ?
24 11929   ✓  ✓   9 9 32 4 5 ?
25      ✕    ✓ 19 16 188 40 740 ?
26 673469  ✓  ✓   14 11 95 33 20 ?
27 71978   ✓  ✓   9 11 51 16 6 ?
28 33042   ✓  ✓   11 11 68 17 34 ?
29 29842   ✓  ✓   17 9 89 26 8 ?
30 783764  ✓  ✓   17 17 179 52 16 ?
31 1030106175  ✓  ✓   17 17 179 52 16 ?
32 39154   ✓  ✓   11 9 53 15 14 ?
33 22148   ✓  ✓   10 11 41 8 10 ?
34 30760   ✓  ✓   11 8 45 14 14 ?
35      ✕    17 18 209 80 7 ?
36      ✕    17 18 209 80 7 ?
37      ✕    17 18 209 81 9 ?
38      ✕    19 17 239 88 4 ?
39      ✕    ✓ 19 17 239 89 5 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
40      ✕    19 17 228 77 4 ?
41      ✕    19 17 216 70 4 ?
42      ✕    19 17 215 83 82 ?
43      ✕    19 17 215 84 82 ?
44      ✕    19 17 215 85 82 ?
45      ✕    19 17 215 86 84 ?
46      ✕    19 17 213 84 84 ?
47 12791143  ✓  ✓   11 13 75 25 28 ?
48 121710839  ✓  ✓   11 13 75 26 26 ?
49 17753127  ✓  ✓   13 13 97 33 32 ?
50 541596644  ✓  ✓   13 13 97 34 36 ?
51 1346208121  ✓  ✓   13 13 89 26 26 ?
52      ✕    17 17 222 93 1 ?
53      ✕    17 17 221 93 1 ?
54 5840960202  ✓  ✓   17 17 173 43 24 ?
55      ✕    ✓ 23 23 407 162 1 ?
56      ✕    ✓ 19 19 258 81 64 ?
57      ✕    ✓ 19 19 258 85 56 ?
58      ✕    19 18 230 76 56 ?
59 14011621  ✓  ✓   13 15 96 26 22 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
60      ✕    19 19 143 36 36 ?
61      ✕    19 19 156 52 44 ?
62      ✕    ✓ 19 19 152 48 60 ?
63 5651301  ✓  ✓   17 9 82 28 34 ?
64 12736   ✓  ✓   15 9 70 27 8 ?
65 74714616  ✓  ✓   11 16 82 27 32 ?
66 464826  ✓  ✓   9 13 62 18 8 ?
67 23236   ✓  ✓   12 8 37 9 4 ?
68      ✕    16 16 123 23 113 ?
69 24332   ✓  ✓   14 14 76 12 20 ?
70 53280   ✓  ✓   12 12 74 18 14 ?
71 17438   ✓  ✓   9 13 64 18 12 ?
72 370841  ✓  ✓   19 9 61 14 18 ?
73 929963  ✓  ✓   11 17 106 26 10 ?
74 12988696198  ✓  ✓   19 17 184 56 20 ?
75 3613252571  ✓  ✓   19 17 184 56 26 ?
76 1640168   ✓  ✓   19 17 130 20 20 ?
77 248427223  ✓  ✓   17 16 145 39 28 ?
78 698132   ✓  ✓   19 11 115 28 42 ?
79      ✕    15 11 96 28 66 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
80      ✕    ✓ 15 11 95 27 59 ?
81 67886   ✓  ✓   11 11 71 22 32 ?
82 28048   ✓  ✓   9 15 85 32 30 ?
83 387601  ✓  ✓   9 15 77 26 34 ?
84 16844   ✓  ✓   13 13 64 16 16 ?
85 798190369  ✓  ✓   15 15 120 36 64 ?
86      ✕    14 13 113 34 24 ?
87      ✕    ✓ 15 13 112 26 141 ?
88 39472   ✓  ✓   13 10 70 15 22 ?
89      ✕    13 15 107 21 94 ?
90      ✕    13 15 115 30 77 ?
91      ✕    13 15 111 24 97 ?
92 11881442  ✓  ✓   17 17 122 14 60 ?
93      ✕    13 13 98 29 28 ?
94 809227   ✓  ✓   13 13 56 14 9 ?
95 8114   ✓  ✓   11 11 45 8 12 ?
96 50078   ✓  ✓   11 17 91 23 8 ?
97      ✕    19 17 176 46 32 ?
98 619108312  ✓  ✓   17 17 118 22 38 ?
99 14724166  ✓  ✓   18 13 108 18 294 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
100 14344035  ✓  ✓   18 13 105 17 293 ?
101 70514228  ✓  ✓   13 13 93 24 28 ?
102 3352131913  ✓  ✓   19 17 206 46 973 ?
103      ✕    19 17 206 45 941 ?
104 3625134182  ✓    19 17 206 46 971 ?
105      ✕    19 17 139 29 44 ?
106      ✕    ✓ 19 17 139 30 44 ?
107      ✕    19 17 139 32 53 ?
108 56492   ✓  ✓   15 9 57 11 10 ?
109 42656   ✓  ✓   13 14 75 9 30 ?
110      ✕    12 13 83 19 221 ?
111 67898   ✓  ✓   19 9 75 15 2 ?
112      ✕    19 15 142 30 4 ?
113 2146398227  ✓  ✓   19 15 147 33 8 ?
114 2098424155  ✓  ✓   19 15 146 32 8 ?
115      ✕    19 15 142 30 22 ?
116 2031470324  ✓  ✓   19 15 142 30 20 ?
117 1429354349  ✓  ✓   19 15 142 31 22 ?
118 163634265  ✓  ✓   13 13 87 22 20 ?
119 1230228134  ✓  ✓   17 13 123 34 40 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
120      ✕    17 13 116 27 40 ?
121      ✕    19 12 126 30 28 ?
122      ✕    19 12 126 31 30 ?
123      ✕    19 12 126 31 31 ?
124 38668   ✓  ✓   19 11 97 18 40 ?
125 10031288  ✓  ✓   13 11 63 14 40 ?
126 26339   ✓  ✓   15 11 81 11 11 ?
127 941129   ✓  ✓   15 11 81 11 15 ?
128      ✕    ✓ 19 17 183 48 110 ?
129      ✕    ✓ 19 17 179 48 110 ?
130 21540   ✓  ✓   15 11 65 10 14 ?
131 28437   ✓  ✓   15 10 64 9 11 ?
132 34140   ✓  ✓   10 12 55 10 14 ?
133 9920   ✓  ✓   11 13 66 12 4 ?
134 887112129  ✓  ✓   17 13 108 23 34 ?
135      ✕    ✓ 17 17 143 28 48 ?
136      ✕    19 13 117 22 40 ?
137 966178   ✓  ✓   17 13 103 18 36 ?
138 4011   ✓  ✓   7 8 18 4 5 ?
139 7063834155  ✓  ✓   15 9 78 22 26 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
140 199834117  ✓  ✓   13 13 71 19 11 ?
141 1423193   ✓  ✓   13 12 62 15 13 ?
142 1504206   ✓  ✓   13 12 62 15 12 ?
143      ✕    19 17 149 18 62 ?
144      ✕    ✓ 19 15 139 29 167 ?
145      ✕    ✓ 19 17 179 43 202 ?
146 337844472  ✓  ✓   19 11 108 19 50 ?
147      ✕    ✓ 19 16 176 58 229 ?
148      ✕    17 11 99 24 36 ?
149 118523217  ✓  ✓   13 13 73 14 30 ?
150 196924285  ✓  ✓   15 13 96 22 150 ?
151 11832085  ✓  ✓   18 17 128 21 138 ?
152 1061148   ✓  ✓   17 9 81 20 38 ?
153      ✕    ✓ 19 17 185 49 11 ?
Sven Egevad Sharpen MovesPushesTime (sec)Solved? All?One?None? WidthHeightFloorsBoxesLower BoundBP
Solved puzzles 12302519260468895 of 153 94 16 Total18761529610210 
Solver Sokolution
Version 5.1
Author Florent Diedler
Time limit 10 minutes
Solver settings Default settings, except RAM: 36 GiB
Computer processor (CPU) Intel(R) Core(TM) i7-10700

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Sokolution 5.1 10 minutes